Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
451	au AARHUS UNIVERSITY ANNUAL REPORT 2012 Add to Reading List Source URL: madalgo.au.dk Language: English - Date: 2014-01-20 05:49:08 Analysis of algorithms Algorithms Cache Models of computation Cache-oblivious algorithm Fast Fourier transform Medical algorithm Streaming algorithm Shortest path problem Mathematics Theoretical computer science Applied mathematics
452	Membrane systems as a rule based modelling framework for multi-compartmental stochastic and discrete systems Agustín Riscos-Núñez Research Group on Natural Computing Department of Computer Science and Artificial Intel Add to Reading List Source URL: www.math.utu.fi Language: English - Date: 2014-10-07 08:49:24 Applied mathematics Ethology Membrane computing Computer simulation Natural computing P system Simulation Scientific modelling Models of computation Scientific modeling Science
453	Multi-Stage Programming: Its Theory and Applications Walid Taha B.S. Computer Science and Engineering, 1993, Kuwait University. Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-09-07 10:26:57 Computer science Models of computation Theoretical computer science Formal methods Computability theory Lambda calculus Actor model Type safety Programming language Software engineering Computing Programming paradigms
454	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume45.html 31 pages A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Rep Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-09-12 20:15:55 Complexity classes Computability theory Models of computation Probabilistic complexity theory PP IP Oracle machine NP P Theoretical computer science Computational complexity theory Applied mathematics
455	Technical Report UCAM-CL-TR-568 ISSNNumber 568 Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 16:56:16 Logic in computer science Models of computation Programming language semantics Type theory Lambda calculus Name binding Type system Operational semantics Programming language Theoretical computer science Programming language theory Software engineering
456	A Universal Innocent Game Model for the B¨ ohm Tree Lambda Theory Andrew D. Ker, Hanno Nickau, and C.-H. Luke Ong Computing Laboratory, Parks Road, Oxford OX1 3QD, UK, {Andrew.Ker, Hanno.Nickau, Luke.Ong}@comlab.ox.ac.u Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-07-16 07:23:06 Computability theory Lambda calculus Theoretical computer science Determinacy Support Applied mathematics Computer science Decomposition of spectrum Models of computation Spectral theory Mathematics
457	Directions in Functional Programming for Real(-Time) Applications? Walid Taha?? , Paul Hudak, Zhanyong Wan Department of Computer Science, Yale University, New Haven, CT, USA. {taha,hudak,zwan}@cs.yale.edu Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2002-02-25 08:31:05 Computability theory Theoretical computer science Models of computation Type theory Logic in computer science Monad Lambda calculus Functional programming Type system Software engineering Computing Computer programming
458	Automation of Presentation Record Production Based on Rich-media Technology Using SNT Petri Nets Theory Ivo Martiník VŠB-Technical University of Ostrava, Faculty of Economics, Sokolská třída 33, Ostrava 1, Cz Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2015-03-20 07:10:01 Petri net Process calculus Models of computation Concurrency Diagrams
459	John von Neumann and the Evolutionary Growth of Complexity: Looking Backwards, Looking Forwards. . . Barry McMullin http://www.eeng.dcu.ie/~mcmullin/ c 2000The MIT Press Add to Reading List Source URL: www.eeng.dcu.ie Language: English - Date: 2004-05-21 18:12:48 Turing machine Academia Computability theory Models of computation Cellular automaton Universal Turing machine John von Neumann Self-replication Theory of computation Science Mathematics Artificial life
460	Computational Complexity in Membrane Systems Mario J. P´erez–Jim´enez Research Group on Natural Computing Dpt. of Computer Science and Artificial Intelligence University of Seville, Spain Add to Reading List Source URL: www.math.utu.fi Language: English - Date: 2014-10-07 08:49:23 Computability theory Theory of computation Computational complexity theory Models of computation Complexity classes Decision problem Church–Turing thesis Computability P Theoretical computer science Applied mathematics Computer science

UPDATE